Lavorare tanto e dormire poco: la ricetta perfetta per partorire collegamenti mentali strani. E fu così che, guardando l'edificio che ospita il quartier generale dell'Nsa, giunsi alla Mecca. :blobcatspace:
ViCAR: Visualizing Categories with Automated Rewriting in Coq Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand https://arxiv.org/abs/2404.08163